_Z3goov:5860:1
 1: 5279 _Z3foov:2000 _Z3barv:1000
 2: 5279 _Z3foov:2000 _Z3barv:1000
 3: 5279 _Z3foov:2000 _Z3barv:1000
 1: _Z3hoov:5860
   1: 5000
 1: _Z3moov:5860
   1: 5000
 2: _Z3hoov:5860
   1: 5000
 2: _Z3moov:5860
   1: 5000
 3: _Z3hoov:5860
   1: 5000
 3: _Z3moov:5860
   1: 5000
